Labour Relations Techniques

The Crisis of Labour Relations in Germany

It is generally agreed amongst academic commentators that the combined pressures of increased international product market competition, market deregulation and unification have severely strained the German ‘model’ of industrial relations (e.g. Goodhart, 1994; Carlin and Soskice, 1997; Gall, 1997; Streeck, 1997). Employers’ fear of the relative decline of German industrial competitiveness have p...

Individual and Collective Regulation of Labour Relations

Proposals for the reform of labour legislation have been central to the reform agenda of international financial institutions, most particularly the World Bank, and have been pressed particularly on the governments of countries which formerly have had socialist or social democratic forms of labour market regulation. This reform agenda is based on a neo-liberal conception of the labour market, a...

Rewrite Techniques for Transitive Relations

We propose inference systems for dealing with transitive relations in the context of resolutiontype theorem proving. These inference mechanisms are based on standard techniques from term rewriting and represent a refinement of chaining methods. We establish their refutational completeness and also prove their compatibility with the usual simplification techniques used in rewrite-based theorem p...

relations between different composition techniques

While composability is a much desired quality for software artefacts, there is no consensus whatsoever on what composability really is, nor on how it can be achieved. In this position paper we discuss three inhibitors of composability and hint at possible solutions. It is our conjecture that tackling these three problems is crucial to achieve true composability. 1. Inhibitor 1: Lack of a consis...

Performance-related Pay and Labour Relations in German Municipalities